Stationary conditions for mathematical programs with vanishing constraints using weak constraint qualifications

We consider a class of optimization problems that is called a mathematical program with vanishing constraints (MPVC for short). This class has some similarities to mathematical programs with equilibrium constraints (MPECs for short), and typically violates standard constraint qualifications, hence the well-known Karush-Kuhn-Tucker conditions do not provide necessary optimality criteria. In order to obtain reasonable first order conditions under very weak assumptions, we introduce several MPVC-tailored constraint qualifications, discuss their relation, and prove an optimality condition which may be viewed as the counterpart of what is called M-stationarity in the MPEC-field.     

A time-stepping procedure based on convolution for the mixed finite element approximation for porous media flow

A time-stepping procedure is established and analyzed for the problem of miscible displacement in porous medium. The fluid velocity based on mixed element method is post-processed by the convolution with Bramble-Schatz kernel. Convergence analysis shows that the property of superconvergence, originally held for the approximation of velocity, can be retained for the approximation of concentration variable. Compared with the traditional results in references, the constraint conditions between parameters in this paper are improved essentially.     

Isotactic poly(p-fluorostyrene): Conformation and molecular packing analysis

The chain conformation and molecular packing of isotactic poly(p-fluorostyrene) have been examined using calculations made with semiempirical potential energy functions. Isolated chain conformational energies indicate no difference in conformation for the fluoropolymer from the conformation for isotactic polystyrene. The energy for packing poly(p-fluorostyrene) chains into a crystalline array as 3₁ or 4₁ helices was also compared with the energies for packing polystyrene in both of these helical forms. While not being the lowest energy mode of packing for poly(p-fluorostyrene), the packing of 4₁-helices does yield a local energy minimum. Such packing of 4₁ helical polystrene chains is considerably less energetically feasible. The results indicate the causes for the experimentally observed difference in the crystalline conformations of the two isotactic polymers as being due to intermolecular influences.     

非线性双曲型积分微分方程有限元逼近的误差分析

考虑非线性双曲型积分微分方程半离散有限元格式，得到H^1超收敛和最优阶L^∞和W^1,∞模误差估计，结果丰富了有限元方法的理论。     

Optimization models for the single delay management problem in public transportation

Passengers travelling in public transportation networks often have to use different lines to cover the trip from their origin to the desired destination. As a consequence, the reliability of connections between vehicles is a key issue for the attractiveness of the intermodal transportation network and it is strongly affected by some unpredictable events like breakdowns or vehicle delays. In such cases, a decision is required to determine if the connected vehicles should wait for the delayed ones or keep their schedule. The delay management problem (DMP) consists in defining the wait/depart policy which minimizes the total delay on the network. In this work, we present two equivalent mixed integer linear programming models for the DMP with a single initial delay, able to reduce the number of variables with respect to the formulations proposed by the literature. The two models are solved by a branch and cut procedure and by a constraint generation approach respectively, and preliminary computational results are presented.     

The effect of the stability of mixed finite element approximations on the accuracy and rate of convergence of solution when solving incompressible flow problems

The stability of two different mixed finite element methods for incompressible flow problems are theoretically analysed. The effect of the stability of the mixed approximation on the accuracy and the rate of convergence of solution is assessed for two non-trivial problems. The numerical results presented indicate that if the stability of the mixed approximation is not guaranteed then both pressure and velocity solutions are markedly less accurate. In one of the cases considered the ultimate convergence of both the pressure and the velocity solutions is seriously in doubt.     

基于非协调有限元方法的特征值的下界逼近

本文将文献提出的非协调元方法用于二阶椭圆特征值问题,证明了最优的误差估计.并且证明了当网格充分细时,近似特征值总是比真解小.     

非负整数格上元素的性质及其在刻画@-Fuzzy关系方程解集中的作用

首先讨论了非负整数格上元素的性质. 从而完全地刻画了非负整数格上@-Fuzzy关系方程(其中@表示inf-α合成)的解集.     

Finite element stream function-vorticity solutions of the incompressible Navier-Stokes equations

The incompressible, two-dimensional Navier-Stokes equations are solved by the finite element method (FEM) using a novel stream function/vorticity formulation. The no-slip solid walls boundary condition is applied by taking advantage of the simple implementation of natural boundary conditions in the FEM, eliminating the need for an iterative evaluation of wall vorticity formulae. In addition, with the proper choice of elements, a stable scheme is constructed allowing convergence to be achieved for all Reynolds numbers, from creeping to inviscid flow, without the traditional need for upwinding and its associated false diffusion. Solutions are presented for a variety of geometries.     

混合边界条件下的三维定常 旋转Navier-Stokes方程的原始变量有限元计算

本文利用原始变量有限元法求解混合边界条件下的三维定常旋转Navier-Stokes方程,证明了离散问题解的存在唯一性,得到了有限元解的最优误差估计.给出了求解原始变量有限元逼近解的简单迭代算法,并证明了算法的收敛性.针对三维情况下计算资源的限制,采用压缩的行存储格式存储刚度矩阵的非零元素,并利用不完全的LU分解作预处理的GMRES方法求解线性方程组.最后分析了简单迭代和牛顿迭代的优劣对比,数值算例表明在同样精度下简单迭代更节约计算时间.